Dagstuhl Seminar 9508 on Software Architecture
نویسندگان
چکیده
منابع مشابه
Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281)
AI meets Formal Software Development (Dagstuhl Seminar 12271) Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore . . . . . . . . . . . . . . . . 1 Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272) Peter Feiler, Jérôme Hugues, and Oleg Sokolsky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 Security and Dependability for Federat...
متن کاملInformation-centric networking - Ready for the real world? (Dagstuhl Seminar 12361)
This report documents the program and the outcomes of Dagstuhl Seminar 12361 “Informationcentric networking – Ready for the real world?”. The outcome of this seminar is based on individual talks, group work, and significant discussions among all participants. The topics range from application and performance aspects up to business, legal, and deployment questions. Even though significant progre...
متن کاملThe Role of Business Processes in Service Oriented Architectures Dagstuhl Seminar
The Dagstuhl seminar on The Role of Business Processes in Service Oriented Architectures (Seminar 06291) took place in July 2006 (16.07.2006-21.07.2006 to be precise). The seminar was attended by more than 40 experts from both academia and industry. Unlike most Dagstuhl seminars there was a high participation from industry (in particular from organizations developing software, e.g., IBM, SAP, M...
متن کاملSynergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction...
متن کاملReport from Dagstuhl Seminar 11481
This report documents the program and the outcomes of Dagstuhl Seminar 11481 “[email protected]”. Research on [email protected] seeks to extend the applicability of models and abstractions to the runtime environment, with the goal of providing effective technologies for managing the complexity of evolving software behaviour while it is executing. The Dagstuhl Seminar “[email protected]” brought toget...
متن کامل